Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
341	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
342	An Analysis of Island Models in Evolutionary Computation A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at George Mason University By Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2008-07-26 08:00:23
343	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Exact and approximate Geometric Pattern Matching for point sets in the plane under similarity transformations ∗ Dror Aiger† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:29:05 Models of computation Quantum field theory Nondeterministic finite automaton Gδ set Automata theory Measure theory Support
344	DOC Document Add to Reading List Source URL: www.azonano.com Language: English - Date: 2006-03-09 02:08:00 Models of computation Theory of computation Mathematics Computing Register machines Algorithms HTML HTML element Hexadecimal
345	Valley-based noise-resistant quantum computation using Si quantum dots Add to Reading List Source URL: www.phy.cuhk.edu.hk Language: English - Date: 2011-12-08 22:13:11 Physics Quantum electronics Superconductivity Models of computation Qubit Quantum computer Quantum dot Charge qubit Kane quantum computer Quantum information science Theoretical computer science Quantum mechanics
346	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
347	Parallel Quantum Computation∗ Norman Margolus MIT Laboratory For Computer Science Cambridge MassachusettsJune 1989 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:59 Computer science Quantum information science Information theory Quantum computer Quantum cryptography Computation Reversible computing Cellular automaton Actor model Theoretical computer science Applied mathematics Models of computation
348	Semantic Security and Indistinguishability in the Quantum World April 20, 2015 Tommaso Gagliardoni1 , Andreas H¨ ulsing2 , and Christian Schaffner3,4 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-20 15:29:56 Quantum information science Quantum cryptography Models of computation Ciphertext indistinguishability Semantic security Quantum circuit Quantum key distribution Quantum computer Quantum channel Cryptography Theoretical computer science Applied mathematics
349	Introduction Introduction M.-P. B´ eal et. al. (IGM et al.) Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-10-27 12:41:40 Combinatorics Coding theory Discrete mathematics Combinatorics on words Models of computation Code Prefix code Alphabet Variable-length code Formal languages Automata theory Mathematics
350	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics

UPDATE